Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… … Wikipedia
quantifier — [ kɑ̃tifje ] v. tr. <conjug. : 7> • 1897; angl. to quantify (1840); lat. médiév. quantificare 1 ♦ Log. Attribuer une quantité à (un terme). 2 ♦ Attribuer une grandeur mesurable à (un phénomène). Quantifier le coût d une mesure sociale. 3 ♦… … Encyclopédie Universelle
Existence — For other uses, see Existence (disambiguation). Philosophy … Wikipedia
Existence theorem — In mathematics, an existence theorem is a theorem with a statement beginning there exist(s) .. , or more generally for all x, y, ... there exist(s) ... . That is, in more formal terms of symbolic logic, it is a theorem with a statement involving… … Wikipedia
existence — For the question of why there is something and not nothing, see being . The modern treatment of existence in the theory of quantification is sometimes put by saying that existence is not a predicate. The idea is that the existential quantifier is … Philosophy dictionary
existential quantifier — egzistavimo kvantorius statusas T sritis automatika atitikmenys: angl. existential quantifier vok. Existenzquantor, m rus. квантор существования, m pranc. quantifier d existence, m … Automatikos terminų žodynas
existential quantifier — noun a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true • Syn: ↑existential operator • Hypernyms: ↑quantifier, ↑logical quantifier … Useful english dictionary
L'origine des espèces au moyen de la sélection naturelle ou Lutte pour l'existence dans la nature — L Origine des espèces L origine des espèces, 1859 L Origine des espèces par le moyen de la sélection naturelle, ou la préservation des races favorisées dans la lutte pour la vie (Titre anglais original : On the Origin of Species by Means of… … Wikipédia en Français
Existenzquantor — egzistavimo kvantorius statusas T sritis automatika atitikmenys: angl. existential quantifier vok. Existenzquantor, m rus. квантор существования, m pranc. quantifier d existence, m … Automatikos terminų žodynas
egzistavimo kvantorius — statusas T sritis automatika atitikmenys: angl. existential quantifier vok. Existenzquantor, m rus. квантор существования, m pranc. quantifier d existence, m … Automatikos terminų žodynas
